text.texi checked.

diff --git a/admin/FOR-RELEASE b/admin/FOR-RELEASE
index 27404cbd20c52a92b3e8c15f31487e3cb00a0e36..115037f372b119c7895a1ee93ab50425f37b715e 100644 (file)
--- a/admin/FOR-RELEASE
+++ b/admin/FOR-RELEASE
@@ -100,7 +100,7 @@ lispref/streams.texi         "Luc Teirlinck"   Chong Yidong
 lispref/strings.texi    "Luc Teirlinck"   Chong Yidong
 lispref/symbols.texi    "Luc Teirlinck"   Chong Yidong
 lispref/syntax.texi     "Luc Teirlinck"   Chong Yidong
-lispref/text.texi        Chong Yidong
+lispref/text.texi        Chong Yidong      (double-checked)
 lispref/tips.texi       "Luc Teirlinck"   Chong Yidong
 lispref/variables.texi  "Luc Teirlinck"   Chong Yidong
 lispref/windows.texi     "Luc Teirlinck"   Chong Yidong